:: Int -> CInt package:basic-prelude

Convert from an Int.